Likelihood, Probability, and Knowledge
نویسندگان
چکیده
The modal logic LL was introduced by Halpern and Rabin [HR] as a means of doing qualitative reasoning about likelihood. Here the relationship between LL and probability theory is examined. It is shown that there is a way of translating probability assertions into LL in a sound manner, so that LL in some sense can capture the probabilistic interpretation of likelihood. However, the translation is subtle; several more obvious attempts are shown to lead to inconsistencies. We also extend LL by adding modal operators for knowledge. The propositional version of the resulting logic LLK is shown to have a complete axiomatization and to be decidable in exponential time, provably the best possible.
منابع مشابه
Determining the Likelihood of Damage in Concrete and its Physical Structure
Applying renormalization group theory to evaluate the safety of overall structure, local damage probability must be obtained at first. According to the results of unit detection test and numerical simulation, the methods how to determine local damage probability was presented in the paper. For small unit, meaning the unit size is far less than the maximum primitive cell or the structure size, i...
متن کاملEvaluation of estimation methods for parameters of the probability functions in tree diameter distribution modeling
One of the most commonly used statistical models for characterizing the variations of tree diameter at breast height is Weibull distribution. The usual approach for estimating parameters of a statistical model is the maximum likelihood estimation (likelihood method). Usually, this works based on iterative algorithms such as Newton-Raphson. However, the efficiency of the likelihood method is not...
متن کاملNeural mechanisms for integrating prior knowledge and likelihood in value-based probabilistic inference.
In Bayesian decision theory, knowledge about the probabilities of possible outcomes is captured by a prior distribution and a likelihood function. The prior reflects past knowledge and the likelihood summarizes current sensory information. The two combined (integrated) form a posterior distribution that allows estimation of the probability of different possible outcomes. In this study, we inves...
متن کاملPerformance of Target Detection in Phased-MIMO Radars
In this paper, the problem of target detection in phased-MIMO radars is considered and target detection performance of phased-MIMO radars is compared with MIMO and phased-array radars. Phased-MIMO radars combine advantages of the MIMO and phased-array radars. In these radars, the transmit array will be partitioned into a number of subarrays that are allowed to overlap and each subarray transmit...
متن کاملAN OPTIMUM APPROACH TOWARDS SEISMIC FRAGILITY FUNCTION OF STRUCTURES THROUGH METAHEURISTIC HARMONY SEARCH ALGORITHM
Vulnerability assessment of structures encounter many uncertainties like seismic excitations intensity and response of structures. The most common approach adopted to deal with these uncertainties is vulnerability assessment through fragility functions. Fragility functions exhibit the probability of exceeding a state namely performance-level as a function of seismic intensity. A common approach...
متن کاملFlood Flow Frequency Model Selection Using L-moment Method in Arid and Semi Arid Regions of Iran
Statistical frequency analysis is the most common procedure for the analysis of flood data at a gauged location thatin first step it is needed to select a model to represent the population. Among them, the central moment has been themost common and widely used, and with the using of computers, the application of the maximum likelihood hasincreased. This research was carried out in order to reco...
متن کامل